Fórum Root.cz

Hlavní témata => Vývoj => Téma založeno: Logiker 24. 02. 2018, 20:41:05

Název: Tvorba modelu v HO Prologu
Přispěvatel: Logiker 24. 02. 2018, 20:41:05

Zdravím, mám kód v higher-order Prologu modelující teorii (commonsense znalost) a potřebuju z ní vytvořit model (tj. kolekci induviduí a interpretační funkci pro predikáty). Algoritmus znám (převedení do teorie typů a vygenerování odpovídajích množin), ale mám teoretickou otázku: jde vytvořit model pro každou teorii, tzn. když ji rozšířím, je zaručeno, že ta větší teorie taky bude mít explicitní model?

Název: Re:Tvorba modelu v HO Prologu
Přispěvatel: neocon 24. 02. 2018, 22:51:44

 Každá bezesporná teorie má model.

Název: Re:Tvorba modelu v HO Prologu
Přispěvatel: Labrat 07. 03. 2018, 15:32:49

Citace: neocon  24. 02. 2018, 22:51:44

Každá bezesporná teorie má model.

Ale jen obecný, ne nutně standardní.