clingo

1熱度

1回答

在答案集編程中，模型和最小模型之間有什麼區別？

我正在參加人工智能課程，我們正在使用Answer Set Programming（特別是Clingo）。目前我們主要討論的是理論，我在模型和最小模型之間存在一些問題。我有以下定義： 通過滿足規則，模型，至少模型和答案集明確 程序 的程序被稱爲明確的，如果沒有「不」，在其體內規則。 集合S被認爲滿足形式a的規則： - b1，...，bm，而不是c1，...，not cn。如果它的主體滿足S（即，b1

answer-set-programming clingo 2014-09-21

---

0熱度

1回答

Clingo：斷言局部約束

我想在clingo，解決那些有一系列事實和約束的斷言經典燈謎的一個實施方案，你必須推斷其他事實。這裏有問題： 五個不同國籍的男子住在五個並排的房子裏，每個房子都是不同的顏色;他們都有不同的工作，不同的喜愛的動物和喜愛的飲料。我們知道： 英國人住在紅房子裏。 西班牙男人最喜歡的動物是狗。 日本人是一位畫家。 意大利人喝茶。 挪威人住在從左邊的第一個房子。 （number_norw = 1） 生活在溫

zebra-puzzle answer-set-programming clingo 2014-05-05

---