Nowadays researchers working in various fields study the issues of argument. They represent different approaches which distinguish with theoretical and practical comprehension of argument problems. Informal study of a...Nowadays researchers working in various fields study the issues of argument. They represent different approaches which distinguish with theoretical and practical comprehension of argument problems. Informal study of argument is one of the approaches. The key reason of its appearance was the criticism of formal logic in the late 20th century. Researchers consider the argument from the different point of view. Formal dialectics and pragma-dialectics were based on dialectics. Contemporary rhetorical theories of argument were created on the rhetorical grounds; theory of speech acts on the basis of practical philosophy etc.. This paper is devoted to some theoretical problems of informal logic which was formed on the logic background in the late 70＇s. In spite of numerous papers, books, and text-books on informal logic published over the last thirty years, logicians has not achieved consensus so far on many issues. Among the numerous problems are： what is the subject matter of informal logic？ Does informal logic belong to the realm of logic？ Is it applied epistemology？ What is a real argument？ And what are the criteria for evaluating of such arguments？展开更多
SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Althoug...SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.展开更多
文摘Nowadays researchers working in various fields study the issues of argument. They represent different approaches which distinguish with theoretical and practical comprehension of argument problems. Informal study of argument is one of the approaches. The key reason of its appearance was the criticism of formal logic in the late 20th century. Researchers consider the argument from the different point of view. Formal dialectics and pragma-dialectics were based on dialectics. Contemporary rhetorical theories of argument were created on the rhetorical grounds; theory of speech acts on the basis of practical philosophy etc.. This paper is devoted to some theoretical problems of informal logic which was formed on the logic background in the late 70＇s. In spite of numerous papers, books, and text-books on informal logic published over the last thirty years, logicians has not achieved consensus so far on many issues. Among the numerous problems are： what is the subject matter of informal logic？ Does informal logic belong to the realm of logic？ Is it applied epistemology？ What is a real argument？ And what are the criteria for evaluating of such arguments？
文摘SOA is built upon and evolving from older concepts of distributed computing and modular programming, OWL-S plays a key role in describing behaviors of web services, which are the essential of the SOA software. Although OWL-S has given semantics to concepts by ontology technology, it gives no semantics to control-flow and data-flow. This paper presents a formal semantics framework for OWL-S sub-set, including its abstraction, syntax, static and dynamic seman-tics by rewrite logic. Details of a consistent transformation from OWL-S SOS of control-flow to corresponding rules and equations, and dataflow semantics including “Precondition”, “Result” and “Binding” etc. are explained. This paper provides a possibility for formal verification and reliability evaluation of software based on SOA.
