Доказательство. 7 страница

99. Тарасов В.Б. О путях построения нестандартных и гибридных нечетких логик// Интегрированные модели и мягкие вычисления в искусственном интеллекте. Сборник трудов IV-й Международной научно-практической конференции (Коломна, 28-30 мая 2007 г.). – М.: Физматлит, 2007. – Т.1. – С.101-113.

100. Тарасов В.Б., Борисов А.В. Логическое моделирование когнитивных и коммуникативных характеристик агентов: единый подход// Труды 10-й национальной конференции по искусственному интеллекту КИИ-2006 (Обнинск, 25-28 сентября 2006 г.). Т.3. – М.: Физматлит, 2006. – С.916-928.

101. Тард Г. Социальная логика. – Спб: CПЦ, 1996.

102. Тарский А. Введение в логику и методологию дедуктивных наук: Пер. с англ. – Биробиджан: ИП Тривиум, 2000.

103. Тарский А. Понятие истины в языках дедуктивных наук. Философия и логика Львовско-Варшавской школы.– М.: РОССПЭН, 1999.– С.19-155.

104. Тейз А., Грибомон П., Юлен Г. и др. Логический подход к искусственному интеллекту: От модальной логики к логике баз данных: Пер с франц. – М: Мир, 1998.

105. Топорков В.В. Модели распределенных вычислений. – М.: Физматлит, 2004.

106. Трахтенгерц Э.А. Компьютерная поддержка переговоров при согласовании управленческих решений. – М.: СИНТЕГ, 2003.

107. Трахтенгерц Э.А. Многоагентные системы поддержки принятия решений// Теория и системы управления. – 1998. – №5. – С.106-122.

108. Финн В.К. Интеллектуальные системы и общество. – М.: КомКнига, 2006

109. Финн В.К. Об интеллектуальном анализе данных // Новости искусственного интеллекта. – 2004. – №3. – С. 3-18.

110. Финн В.К. Об одном варианте логики аргументации// Научно-техническая информация. Серия 2. Информационные процессы и системы. – 1996. – №5-6. – С.3-19.

111. Финн В.К. Стандартные и нестандартные логики аргументации I // Логические исследования. Вып.13. – М.: Наука, 2006. – С.157-189.

112. Фреге Г. Логика и логическая семантика. Сборник трудов. – М.: Аспект Пресс, 2000.

113. Хинтикка, Я. Логико-эпистемологические исследования. М.: Прогресс, 1980.

114. Черкашин, П., Готовы ли Вы к войне за клиента? - Москва, 2004 г.

115. Шрамко Я.В. Обобщенные истинностные значения: решетки и мультирешетки // Логические исследования. Вып.9. – М.: Наука, 2002. – С.264-291.

116. Шрамко Я.В. Американский план для интуиционистской логики II: обобщенные интуиционистские модели// Logical Studies. – 2000 – №5.

117. Шульц Д.П., Шульц С.Э. История современной психологии: Пер. С англ. – СПб:Евразия, 1998.

118. Шуман А.Н. Современная логика: теория и практика. – Мн: Экономпресс, 2004.

119. Юрасов А.В. Электронная коммерция. – М.: Дело, 2003.

120. Arieli O., Avron A. Reasoning with Logical Bilattices// Journal of Logic, Language and Information. – 1996. – Vol.5, №1. – P.25-63.

121. Barth E.M., Krabbe E.C. From Axiom to Dialogue: Philosophical Study of Logics and Argumentation. – Berlin: Walter de Gruyten, 1982.

122. Belnap N. A Useful Four-Valued Logic// Modern Uses of Multiple-Valued Logic/ Ed. by J.M.Dunn and G.Epstein. – Dordrecht: D.Reidel, 1977. – P.8-37.

123. Bernhard Bauera, James Odell. UML 2.0 and agents: how to build agent-based systems with the new UML standard / Engineering Applications of Artificial Intelligence. – 2005, Vol. 18, Issue 2. – P. 141–157.

124. Bolc L., Borowik P. Many-Valued Logics. I. Theoretical foundations. – Berlin: Springer Verlag, 1992.

125. Bolc L., Borowik P. Many-Valued Logics. II. Automated Reasoning and Practical Applications.– Berlin: Springer Verlag, 2003.

126. Bordini R.H., Hubner J.F., Wooldridge M. Programming Multi-Agent Systems in AgentSpeak with Jason. – Jonh Wiley&Sons: Chichester, 2007. – 294 p.

127. Bordini RH, Dastani M, Dix J and El Fallah Seghrouchni A (eds) 2005 Multi-Agent Programming: Languages, Platforms and Applications, vol. 15 of Multiagent Systems, Artificial Societies, and Simulated Organizations. Springer, Berlin.

128. Cetnarowicz, K. A Formal Specification of M-Agent Architecture / K. Cetnarowicz, P. Gruer, V. Hilaire, A. Koukam; Ed. by B. Keplics, E. Nawarecki // Proc. of the Second Int. Workshop of Central and Eastern Europe on Multi-Agent Systems. - Poland, 2001. – P. 41-50.

129. Cetnarowicz, K. Agent Oriented Technology Based on the M-Agent Architecture / K. Cetnarowicz; Ed. by S. Aoshima, L. Polkowski, M. Toho // Proc. of Int. Conf. on Intelligent Techniques in Robotics, Control and Decision Making. Polish-Japanese Institute of Information Technology. – Warsaw, Poland, 1999.

130. Cignoli R.L.O., D’Ottaviano J.M., Munduci D. Algebraic Foundations of Many-Valued Reasoning. – Dordrecht: Kluwer Academic Publishers, 1998.

131. Dunn J.M. An Intuitive Semantics for First Degree Entailment and Coupled Trees// Philosophical Studies. –1976. – Vol.29. – P.149-168.

132. Dunn J.M. Partiality and its Dual // Studia Logica.– 2000.–Vol.66.–P.225-256.

133. Dunn J.M., Hardegree G. Algebraic Methods in Philosophical Logic. – Oxford: Oxford University Press, 2001.

134. Edwards, J. Get It Together with Collaborative CRM. insideCRM, 2007.

135. Eemeren F. van, Grootendorst R. A Systemic Theory of Argumentation. – Cambridge: Cambridge University Press, 2004.

136. Epstein G. Multiple Valued Logic Design.– Bristol: Institute of Physics Publishing, 1993.

137. Felscher W. Dialogues as a Foundation for Intuitionistic Logic// Handbook of Philosophical Logic. Vol.III/ Ed.by D.Gabbay and F.Guenthner. – Dordrecht: D.Reidel, 1986. – P.341-372.

138. Ferber, J. A meta-model for the analysis and design of organisations in multi-agent systems / J. Ferber, O. Gutknecht // In Proceeding of the 3rd International Conferenceon Multi-gent Systems (ICMAS 98). - IEEE CS Press, 1998.

139. Finin T., Labrou Y., Mayfield J., KQML as an agent communication language – Computer Science and Electrical Engineering, USA, 1995.

140. FIPA Communicative Act Library Specification // www.fipa.org

141. Fitting M. Kleene's Three-Valued Logics and Their Children // Fundamenta Informaticae. – 1994. – № 20. – P.113-131.

142. Fitting M. Bilattices and the Theory of Truth. // Journal of Philosophical Logic.– 1989. – Vol.18. – P.225-256.

143. Fitting M. Kleene's Logic, Generalized. // Journal of Logic Computation. – 1991. – Vol.1. – P.797-810.

144. Ginsberg M. Multivalued Logics: a Uniform Approach to Reasoning in Artificial Intelligence // Computational Intelligence. – 1988. –Vol.4.– P. 265-316.

145. Gottwald S. A Treatise on Many-Valued Logics. – Baldock: Research Studies Press, 2001.

146. Grice H.P. Logic and Conversation // Syntax and Semantics. – 1977. – Vol.3. – P.41-58.

147. Haddadi A. Communication and Cooperation in Agent Systems: A Pragmatic Theory. – Berlin: Springer Verlag, 1996.

148. Hamblin Ch. Fallacies. Methuen, London, UK, 1970.

149. Hamblin Ch. Mathematical Models of Dialogue // Theoria. – 1971. – Vol.38. – P.130-155.

150. Harrah D. A Logic of Message and Reply // Synthese. – 1985. – Мol. 63. – P.275-294.

151. Harrah D. Message Theory and the Semantics of Dialogue // Cognitive Constrains on Communication. – D.Reidel, Dordrecht, 1984. – Р.267-276.

152. Hewitt С. Viewing Control Structures as Patterns of Passing Messages// Artificial Intelligence. – 1977. – Vol.8, №3. – Р.323-364.

153. Hintikka J. Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic. Oxford: Clarendon and Oxford University Press, 1973.

154. Hintikka J., Sandu G. Game-Theoretical Semantics// Handbook of Logic and Language/ Ed.by J.van Benthem, A. ter Meuler. – Amsterdam: Elsevier Science Publishers, 1996. – P.361-410.

155. Krabbe E.C.W. Dialogue Logic// Handbook of the History of Logic. Vol.7. Logic and the Modalities in the 20^th Century/ Ed. by D.M.Gabbay, J.Woods. – Amsterdam: Elsevier, 2006. – P.665-704.

156. Lebbink A.G., Witterman C.L.M., Meyer J.-J. Ch. Dialogue Gamed for Inconsistent and Biased Information// Electronic Lecture Notes of theoretical Computer Science. – 2003. – Vol.52, №2.

157. Lorenzen P., Lorenz K. Dialogische Logik. – Darmstadt: Wissenschaftliche Buch gesellschaftt, 1978.

158. Malinowski G. Many-Valued Logics. – Oxford: Clarendon Press, 1993.

159. Maranhão, Tullio The Interpretation of Dialogue. – University of Chicago Press, 1990.

160. Maria A. Medina, Alfredo Sanchez, Nohema Castellanos. Ontological Agents Model based on MAS-CommonKADS methodology /14th International Conference on Electronics, Communications and Computers, 2004 – p. 260.

161. McBurney P., Parsons S., Dialogue in Muli-Agent Systems. 2002.

162. McBurney P., Parsons S., Games that agent play: a formal framework for dialogue between autonomous agents. //Journal of Logic, Language and Information, 11(3): P. 315-334, 2002

163. Nowakowska M. On a Formal Structure of Dialogue// Dialogue: An Interdisciplinary Approach/ Ed. by M.Dascal. – Amsterdam: Elsevier, 1985. –P.135-145.

164. Nowakowska M. Toward a Formal Theory of Dialogues // Semiotics. – 1976. –Vol. 4. – P.291-313.

165. Process for Agent Societies Specification and Implementation. http://www.csai.unipa.it/passi.

166. Rescher N. Dialectics. A Controversy-Oriented Approach to the Theory of Knowledge. – Albany N.Y: State University of New York Press, 1977

167. Rescher N. Many-Valued Logics. – New York: McGraw-Hill, 1969.

168. Restall G. Four-Valued Semantics for Relevant Logics (and Some Their Rivals)// Journal of Philosophical Logic. – 1995. – Vol.24, №2. – P.139-160.

169. Saarinen E. Dialogue Logics vs. Game-Theoretical Semantics - Mimeographed, 1980.

170. Schreiber, G., Akkermans, H., Anjewierdern, A., de Hoog, R., Shadbolt, N., Van De Velde, W., Wielinga, B.. Knowledge Engineering and Management: the Common-KADS Methodology. MIT Press. Cambridge, MA. 2001. – 455 p.

171. Scott D. Continuous Lattices, Toposes, Algebraic Geometry and Logic// Lecture Notes in Mathematics// Ed. by Lawvere. – Berlin: Springer-Verlag, 1972. – P. 97-136.

172. Searle J., Speech Acts. – Cambridge: Cambridge University Press, 1961.

173. Smarandache F. Neutrosophy: Neutrosophic Probability, Set and Logic. – Rehoboth: American Research Press, 1999.

174. Sсhoter A. Evidential Bilattice Logic and Lexical Inference// Journal of Logic, Language and Information. – 1996. – Vol.5.– P.65-105.

175. Tapscott, D., The Digital Economy: Promise and peril in the age of networked intelligence. – McGraw-Hill, 1996.

176. Tarassov V.B. Lattice Products, Bilattices and Some Extensions of Negations, Triangular Norms and Triangular Conorms// Proceedings of the International Conference on Fuzzy Sets and Soft Computing in Economics and Finance (FSSCEF’2004, Saint-Petersburg, June 17-20, 2004). – Mexico: IMP, 2004. – Vol.1. – P.272-282.

177. The tropos project. // http://www.troposproject.org.

178. Walton D.N. Logical Dialogue-Games and Fallacies. – New York: Lanham, 1984.

179. Walton D.N., Krabbe E.C.W. Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning.– Albany N.Y: State University of New York Press, 1995.

180. Winograd T., Flores F., Understanding Computers and Cognition: a New Foundation of Design – Norwood: Ablex, 1986.

181. Wooldridge M. Reasoning About Rational Agents. – Cambridge MA: The MIT Press, 2000.

182. Wooldridge, M. Agent-Oriented Software Engineering: The State of Art / M.Wooldridge, P. Ciancarini; Ed. by P. Ciancarini and M. Wooldridge // Agent-Oriented Software Engineering.– Springer-Verlag Lecture Notes in AI, 2001. - Vol. 1957.

183. Wooldridge, M. The Gaia Methodology for Agent-Oriented Analysis and Desing / M.Wooldridge, N. R. Jennings, D. Kinny // Journal of Autonomous Agents and Multi-Agent Systems. – 2000. – 3(3). – P. 285-312.

Приложения

[1] Здесь и далее под определённостью операции на множестве D подразумевается, что эта операция есть функция вида D´D´…´D ® D, где ´ – декартово произведение множеств.

Дата добавления: 2015-09-04